$\forall$$x$, $y$:Atom2. $x$ =a2 $y$ $\Leftrightarrow$ $x$ $=$ $y$